solvable for p